Theoretical computer science

Results: 9916



#Item
21References [1] F.S. de Boer, A. Di Pierro, and C. Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science, 151(1), 1995. Selected Papers of the Workshop on Topology a

References [1] F.S. de Boer, A. Di Pierro, and C. Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science, 151(1), 1995. Selected Papers of the Workshop on Topology a

Add to Reading List

Source URL: profs.sci.univr.it

Language: English - Date: 2016-11-27 13:25:29
    22Encoding Arguments PAT MORIN, Carleton University WOLFGANG MULZER, Freie Universit¨at Berlin TOMMY REDDAD, McGill University Many proofs in discrete mathematics and theoretical computer science are based on the probabi

    Encoding Arguments PAT MORIN, Carleton University WOLFGANG MULZER, Freie Universit¨at Berlin TOMMY REDDAD, McGill University Many proofs in discrete mathematics and theoretical computer science are based on the probabi

    Add to Reading List

    Source URL: page.mi.fu-berlin.de

    Language: English - Date: 2018-08-08 08:40:13
      23Theoretical Computer Science–137 Contents lists available at SciVerse ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

      Theoretical Computer Science–137 Contents lists available at SciVerse ScienceDirect Theoretical Computer Science www.elsevier.com/locate/tcs

      Add to Reading List

      Source URL: www.cs.haifa.ac.il

      Language: English - Date: 2014-03-10 07:21:35
        24Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org ON THE COMPLEXITY OF ELEMENTARY MODAL LOGICS EDITH HEMASPAANDRA AND HENNING SCHNOOR Department of Computer Science, Roc

        Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org ON THE COMPLEXITY OF ELEMENTARY MODAL LOGICS EDITH HEMASPAANDRA AND HENNING SCHNOOR Department of Computer Science, Roc

        Add to Reading List

        Source URL: drops.dagstuhl.de

        Language: English - Date: 2008-02-05 06:40:10
          2534th International Symposium on Theoretical Aspects of Computer Science Program and Information Conference Information

          34th International Symposium on Theoretical Aspects of Computer Science Program and Information Conference Information

          Add to Reading List

          Source URL: stacs2017.thi.uni-hannover.de

          Language: English - Date: 2018-05-04 04:12:23
            26Theoretical Computer Science – 183 www.elsevier.com/locate/tcs Modular verification of multithreaded programs Cormac Flanagana,∗,1 , Stephen N. Freundb,1 , Shaz Qadeerc , Sanjit A. Seshiad,2

            Theoretical Computer Science – 183 www.elsevier.com/locate/tcs Modular verification of multithreaded programs Cormac Flanagana,∗,1 , Stephen N. Freundb,1 , Shaz Qadeerc , Sanjit A. Seshiad,2

            Add to Reading List

            Source URL: dept.cs.williams.edu

            Language: English - Date: 2018-08-12 09:38:32
              27Theoretical Computer Science – 434 www.elsevier.com/locate/tcs Scalar aggregation in inconsistent databases Marcelo Arenasa , Leopoldo Bertossib , Jan Chomickic;∗ , Xin Hec ,

              Theoretical Computer Science – 434 www.elsevier.com/locate/tcs Scalar aggregation in inconsistent databases Marcelo Arenasa , Leopoldo Bertossib , Jan Chomickic;∗ , Xin Hec ,

              Add to Reading List

              Source URL: marenas.sitios.ing.uc.cl

              - Date: 2013-04-26 05:57:02
                28A Rosenbrock-Nystrom State Space Implicit Approach for the Dynamic Analysis of Mechanical Systems: I – Theoretical Formulation ∗ Adrian Sandu Department of Computer Science, Michigan Technological University, Houghto

                A Rosenbrock-Nystrom State Space Implicit Approach for the Dynamic Analysis of Mechanical Systems: I – Theoretical Formulation ∗ Adrian Sandu Department of Computer Science, Michigan Technological University, Houghto

                Add to Reading List

                Source URL: homepages.cae.wisc.edu

                - Date: 2003-06-21 13:24:32
                  29Preprint of paper: Theoretical Computer Science, vol), pp.177–196.  Multi-Cut

                  Preprint of paper: Theoretical Computer Science, vol), pp.177–196.  Multi-Cut

                  Add to Reading List

                  Source URL: www.top-5000.nl

                  - Date: 2007-02-08 07:59:24
                    30A New Variation of Hat Guessing Games Tengyu Ma1 , Xiaoming Sun1 , and Huacheng Yu1 Institute for Theoretical Computer Science Tsinghua University, Beijing, China Abstract. Several variations of hat guessing games have b

                    A New Variation of Hat Guessing Games Tengyu Ma1 , Xiaoming Sun1 , and Huacheng Yu1 Institute for Theoretical Computer Science Tsinghua University, Beijing, China Abstract. Several variations of hat guessing games have b

                    Add to Reading List

                    Source URL: theory.stanford.edu

                    - Date: 2015-04-26 18:37:48